Type system - PDFSEARCH.IO - Document Search Engine

Type system
Results: 9144

#	Item
521	A Generic Type System for the Pi-Calculus∗ Atsushi Igarashi Kyoto University email: Naoki Kobayashi Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2009-04-19 21:32:45
522	A Type System for Object Initialization in the Java Bytecode Language STEPHEN N. FREUND and JOHN C. MITCHELL Stanford University In the standard Java implementation, a Java language program is compiled to Java bytecode. Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:19
523	A New Type System for JVM Lock Primitives 1 A New Type System for JVM Lock Primitives Futoshi IWAMA and Naoki KOBAYASHI Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2007-08-16 22:48:55
524	A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2011-07-20 20:51:23
525	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
526	A Type System for Dynamic Layer Composition Atsushi Igarashi Robert Hirschfeld Hidehiko Masuhara Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2012-10-02 08:57:42
527	A Guide to Understanding Your Bill ADEQ is transitioning to a new consolidated billing system, and this is an example of what your new bill may look like. You will no longer receive the type of bill you used to receive f Add to Reading List Source URL: www.azdeq.gov Language: English - Date: 2015-02-13 16:36:10
528	Dream Types A Domain Specific Type System for Component-Based Message-Oriented Middleware Philippe Bidinger, Matthieu Leclercq, Vivien Quema, ´ Alan Schmitt, Jean-Bernard Stefani Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2011-10-19 09:27:06
529	MDS General User Guide If you have never used our former Map System, please skip this note and start at Step 1. For our existing users, this diﬀerence in product names might be useful… PRODUCT TYPE Add to Reading List Source URL: www.mapsnmc.co.uk Language: English - Date: 2015-08-05 09:49:56
530	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad

UPDATE